OIL[1]

"The Architecture of the FAIM-1 Symbolic Multiprocessing System", A. Davis et al, 9th International Joint Conference in Artificial Intelligence, 1985, pp.32-38.